Proof complexity - PDFSEARCH.IO - Document Search Engine

Proof complexity
Results: 225

#	Item
31	J. Cryptol: 116–135 DOI: s00145x Parallel Repetition of Computationally Sound Protocols Revisited∗ Krzysztof Pietrzak Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 09:00:34 Complexity classes Cryptography Computational complexity theory Proof of knowledge IP Quantum complexity theory Soundness NP Commitment scheme PSPACE PP Security parameter
32	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-07-07 05:51:55 Functional analysis Computational complexity theory Cryptography Distribution Proof of knowledge IP Zero-knowledge proof
33	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 06:02:31 Cryptography Zero-knowledge proof Computational complexity theory Proof of knowledge IP Presentation of a group
34	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 06:09:39 Computational complexity theory Proof of knowledge NP IP Soundness PP Certificate XTR Zero-knowledge proof ZPP
35	Interactive proofs April 12, L´ aszl´ o Babai. Trading group theory for randomness. In Proc. 17th STOC, pages 421–429. ACM Press, 1985. doi:22192. Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 05:40:19 Lance Fortnow Probabilistic complexity theory BPP Probabilistically checkable proof Carsten Lund Computational complexity theory
36	Cryptographic Protocols Spring 2015 POK for One-way Group Homomorphisms Fiat-Shamir protocol Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 06:12:25 Computational complexity theory Cryptography Proof of knowledge IP Zero-knowledge proof Interactive proof system
37	On the Composition of Public-Coin Zero-Knowledge Protocols Rafael Pass1 , Wei-Lung Dustin Tseng1 , and Douglas Wikström2 1 2 Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:52:23 Proof theory Zero-knowledge proof IP Soundness BPP Computational complexity theory Probabilistic complexity theory ArthurMerlin protocol Proof of knowledge
38	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 14:24:44 Cryptography Computational complexity theory Proof of knowledge IP Witness XTR CPC Binary Barcode Zero-knowledge proof
39	The Complexity and Proof Complexity of the Comparator Circuit Value Problem Stephen Cook Joint work with Yuval Filmus, Dai Tri Man Lˆe, and Yuli Ye Department of Computer Science University of Toronto Add to Reading List Source URL: www.cs.utoronto.ca Language: English - Date: 2012-10-05 17:59:44
40	Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010. Add to Reading List Source URL: www.cs.utoronto.ca Language: English - Date: 2013-12-06 10:50:09